A systematic study of heuristic analysis
نویسنده
چکیده
Fault trees are widely used for safety analysis. In this context fault trees are considered as boolean formulas. The major problem of their assessment is the combinatorial explosion in time and space. Binary Decision Diagrams (BDD) are the state-of-the-art compact representation for boolean formulas (?; ?). By limiting combinatorial growth, this representation makes possible the assessment of complex fault trees, both qualitatively by minimal cutset search and quantitatively by exact calculation of top event probability. In this paper we study the efficiency of conventional methods such as static and dynamic variable ordering heuristics. For a more detailes presentation of this study see (?).
منابع مشابه
Application of a Heuristic Cybernetic Model in Peer-reviewing Process of Scholarly Papers
Background and Aim: This study attempts to show the cybernetics approach on peer reviewing articles to recommend an appropriate solution for increasing the qualitative level of published articles in scientific journals. Method: Heuristic Cybernetics method is suggested, based on the scientific experiences of related researches and also the mathematical principles that is an appropriate formed s...
متن کاملIndividual Job Performance assessment Models: A Systematic Review Study
Introduction: There are several generic and specific models to assess the individual job performance (IJP). While these methods may provide the valuable information, none of them cover the complexity and wide range of the behaviors which express the IJP. This review study aimed to identify all existing models and incorporate them to achieve a comprehensive conceptual model to assess the IJP. ...
متن کاملConsolidated Technique of Response Surface Methodology and Data Envelopment Analysis for setting the parameters of meta-heuristic algorithms - Case study: Production Scheduling Problem
In this study, given the sequence dependent setup times, we attempt using the technique of Response Surface Methodology (RSM) to set the parameters of the genetic algorithm (GA), which is used to optimize the scheduling problem of n job on 1 machine (n/1). It aims at finding the most suitable parameters for increasing the efficiency of the proposed algorithm. At first, a central composite d...
متن کاملA heuristic method for combined optimization of layout design and cluster configuration in continuous productions
Facility layout problems have been generally solved either hierarchically or integrated into other phases of plant design. In this paper, a hybrid method is introduced so that clustering and facilities layout can be simultaneously optimized. Each cluster is formed by a group of connected facilities and selection of the most appropriate cluster configuration is aimed. Since exact method by MIP i...
متن کاملAn integrated heuristic method based on piecewise regression and cluster analysis for fluctuation data (A case study on health-care: Psoriasis patients)
Trend forecasting and proper understanding of the future changes is necessary for planning in health-care area.One of the problems of analytic methods is determination of the number and location of the breakpoints, especially for fluctuation data. In this area, few researches are published when number and location of the nodes are not specified.In this paper, a clustering-based method is develo...
متن کاملA Preprocessing Technique to Investigate the Stability of Multi-Objective Heuristic Ensemble Classifiers
Background and Objectives: According to the random nature of heuristic algorithms, stability analysis of heuristic ensemble classifiers has particular importance. Methods: The novelty of this paper is using a statistical method consists of Plackett-Burman design, and Taguchi for the first time to specify not only important parameters, but also optimal levels for them. Minitab and Design Expert ...
متن کامل